void show_test_result(int, char *);